Satisfiability modulo theories

品質:

背景理論付き充足可能性問題 - 数式が充足可能かどうかを判定する問題. 英語版ウィキペディアの記事「Satisfiability modulo theories」の品質点は 48.9 点です（2025年7月1日現在）。 この記事には 30 の参考文献と 15 のセクションが含まれています。

この言語版のウィキペディアでは、記事の品質が最も優れています。 また、この記事はその言語版（英語版）で最も人気があります。

記事「Satisfiability modulo theories」の作成以来、その内容は英語版ウィキペディアの登録ユーザー 20 名によって書かれ、すべての言語のウィキペディア登録ユーザー 167 名によって編集されました。

この記事は英語版ウィキペディアで 123 回引用され、すべての言語でも 160 回引用されています。

2001 年からの著者の最も関心の高いランキング:

• 地元（英語版）：2015年2月に23634位
• グローバル：2015年3月に74551位

2008 年の最高人気ランキング:

• 地元（英語版）：2015年3月に159072位
• グローバル：2015年3月に255905位

WikiRank データベースには、この記事に関する 9 の言語バージョンがあります(考慮された 55 のウィキペディア言語版のうち)。

品質と人気の評価は、2025年7月1日のウィキペディアのダンプに基づいています (前年の改訂履歴とページビューを含む)。

以下の表は、最高品質の記事の言語バージョンを示しています。

#	言語	品質等級	品質スコア
1	英語版 (en) Satisfiability modulo theories		48.8933
2	ペルシャ語版 (fa) صدق‌پذیری در پیمانه نظریات		21.1698
3	スウェーデン語版 (sv) Satisfierbarhet modulo teorier		18.261
4	ハンガリー語版 (hu) Kielégíthetőségi modulo elméletek		13.4984
5	ロシア語版 (ru) Задача выполнимости формул в теориях		8.161
6	フランス語版 (fr) Satisfiability modulo theories		7.7344
7	ウクライナ語版 (uk) Satisfiability Modulo Theories		5.847
8	アルメニア語版 (hy) Բանաձևերի լուծելիություն տեսություններում		3.9948
9	スペイン語版 (es) Teorías de satisfacibilidad módulo		2.4173

次の表は、記事の最も一般的な言語バージョンを示しています。

#	言語	人気賞	相対的人気度
1	英語版 (en) Satisfiability modulo theories		778 692
2	ロシア語版 (ru) Задача выполнимости формул в теориях		33 513
3	フランス語版 (fr) Satisfiability modulo theories		25 013
4	スペイン語版 (es) Teorías de satisfacibilidad módulo		3 722
5	ウクライナ語版 (uk) Satisfiability Modulo Theories		2 956
6	アルメニア語版 (hy) Բանաձևերի լուծելիություն տեսություններում		1 122
7	ペルシャ語版 (fa) صدق‌پذیری در پیمانه نظریات		875
8	スウェーデン語版 (sv) Satisfierbarhet modulo teorier		834
9	ハンガリー語版 (hu) Kielégíthetőségi modulo elméletek		356

次の表は、先月で最も人気のあった記事の言語バージョンを示しています。

#	言語	人気賞	相対的人気度
1	英語版 (en) Satisfiability modulo theories		5 673
2	フランス語版 (fr) Satisfiability modulo theories		132
3	ロシア語版 (ru) Задача выполнимости формул в теориях		118
4	スペイン語版 (es) Teorías de satisfacibilidad módulo		41
5	ウクライナ語版 (uk) Satisfiability Modulo Theories		22
6	ハンガリー語版 (hu) Kielégíthetőségi modulo elméletek		9
7	アルメニア語版 (hy) Բանաձևերի լուծելիություն տեսություններում		7
8	ペルシャ語版 (fa) صدق‌پذیری در پیمانه نظریات		4
9	スウェーデン語版 (sv) Satisfierbarhet modulo teorier		4

次の表は、著者の関心が最も高い記事の言語バージョンを示しています。

#	言語	著者の関心賞	著者の相対的関心
1	英語版 (en) Satisfiability modulo theories		103
2	フランス語版 (fr) Satisfiability modulo theories		27
3	ロシア語版 (ru) Задача выполнимости формул в теориях		11
4	ウクライナ語版 (uk) Satisfiability Modulo Theories		9
5	スペイン語版 (es) Teorías de satisfacibilidad módulo		5
6	スウェーデン語版 (sv) Satisfierbarhet modulo teorier		4
7	ハンガリー語版 (hu) Kielégíthetőségi modulo elméletek		3
8	アルメニア語版 (hy) Բանաձևերի լուծելիություն տեսություններում		3
9	ペルシャ語版 (fa) صدق‌پذیری در پیمانه نظریات		2

次の表は、先月に著者の関心が最も高かった記事の言語バージョンを示しています。

#	言語	著者の関心賞	著者の相対的関心
1	英語版 (en) Satisfiability modulo theories		0
2	スペイン語版 (es) Teorías de satisfacibilidad módulo		0
3	ペルシャ語版 (fa) صدق‌پذیری در پیمانه نظریات		0
4	フランス語版 (fr) Satisfiability modulo theories		0
5	ハンガリー語版 (hu) Kielégíthetőségi modulo elméletek		0
6	アルメニア語版 (hy) Բանաձևերի լուծելիություն տեսություններում		0
7	ロシア語版 (ru) Задача выполнимости формул в теориях		0
8	スウェーデン語版 (sv) Satisfierbarhet modulo teorier		0
9	ウクライナ語版 (uk) Satisfiability Modulo Theories		0

次の表は、引用数が最も多い記事の言語バージョンを示しています。

2026年3月16日の多言語ウィキペディアでは、インターネット ユーザーは次のトピックに関する記事を最もよく読んでいます: 第98回アカデミー賞、マイケル・B・ジョーダン、罪人たち、ジェシー・バックリー、ポール・トーマス・アンダーソン、ショーン・ペン、ワン・バトル・アフター・アナザー、エイミー・マディガン、ハムネット、ティモテ・シャラメ。

英語版ウィキペディアでその日に最も人気のあった記事は次のとおりです: 98th Academy Awards、Michael B. Jordan、Paul Thomas Anderson、Jessie Buckley、Sinners (2025 film)、Amy Madigan、Autumn Durald Arkapaw、Maya Rudolph、Sean Penn、Academy Awards。

このプロジェクトは、さまざまな言語版の Wikipedia の記事を自動的に相対評価することを目的としています。 現時点では、このサービスでは 55 の言語で 4,400 万件以上の Wikipedia 記事を比較できます。 記事の品質スコアは、2025年7月のウィキペディアのダンプに基づいています。 著者の現在の人気と関心を計算する際には、2025年6月のデータが考慮されました。 著者の人気と関心の歴史的価値について、WikiRank は 2001 年から 2025 年までのデータを使用しました。 詳しくは